Перевод: со всех языков на русский

с русского на все языки

linear resolution

Страницы

См. также в других словарях:

  • Semi-linear resolution — (SLR) is a search strategy (used in the automated theorem prover (ATP) CARINE) that is based on an iteratively deepening depth first search. It is one method used in automated theorem proving.SLR performs linear derivations from the input clauses …   Wikipedia

  • Linear actuator — TOC A linear actuator is a device that develops force and motion, from an available energy source, in a linear manner, as opposed to rotationally like an electric motor. There are various methods of achieving this linear motion. Several different …   Wikipedia

  • Linear Algebra Package — Sommaire 1 Objectifs 2 Résolution du problème avec les processeurs multi cœurs 3 Voir aussi 4 Liens externes LAPACK (pour Linear Alge …   Wikipédia en Français

  • Linear forms in logarithms — In number theory the method of linear forms in logarithms is the application of estimatesfor the magnitude of a finite sum: Sigma; beta; i log α i = Lambda;where the α i and beta; i are algebraic numbers. In case of α i a complex number, one has… …   Wikipedia

  • resolution — /rez euh looh sheuhn/, n. 1. a formal expression of opinion or intention made, usually after voting, by a formal organization, a legislature, a club, or other group. Cf. concurrent resolution, joint resolution. 2. a resolve or determination: to… …   Universalium

  • Linear Variable Differential Transformer — Vue en coupe d un LVDT. Un courant est généré dans la bobine primaire A, entraînant un courant induit dans la bobine secondaire B Un LVDT (de l anglais Linear Variable Differential Transformer) est un capteur électrique passif (inductif) de… …   Wikipédia en Français

  • resolution — res•o•lu•tion [[t]ˌrɛz əˈlu ʃən[/t]] n. 1) gov a formal expression of opinion or intention made, usu. after voting, by a formal organization, a legislature, or other group 2) a resolve or determination 3) the act of resolving or determining upon… …   From formal English to slang

  • SLD resolution — ( Selective Linear Definite clause resolution) is the basic inference rule used in logic programming. It is a refinement of resolution, which is both sound and refutation complete for Horn clauses. The SLD inference ruleGiven a goal clause: eg L… …   Wikipedia

  • Non-linear editing system — NLE redirects here. For the standardized test, see National Latin Examination. For non linear or non destructive editing of 2D images, see Non destructive editing. In video, a non linear editing system (NLE) is a video editing (NLVE) or audio… …   Wikipedia

  • Code-excited linear prediction — (CELP) is a speech coding algorithm originally proposed by M.R. Schroeder and B.S. Atal in 1985. At the time, it provided significantly better quality than existing low bit rate algorithms, such as residual excited linear prediction and linear… …   Wikipedia

  • Optical resolution — This article is about optical resolution in optics. For the method of separating enantiomers in chemistry, see Chiral resolution. Optical resolution describes the ability of an imaging system to resolve detail in the object that is being imaged.… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»